TSTP Solution File: GEG006^1 by Refute---2015